#include <stdio.h>
#include <stddef.h>
/** Extern int getline(FILE *fp, char *buf, size_t size);
 * read the next `line` from file fp and stores it as a null-terminated string
 * in buff[0..size-1] and retrns the length of the line (not counting the termi-
 * nating null character). When getword reaches the end of file without consumi-
 * ng a line, it return EOF. If a line is longer then size-1 characters, the ex-
 * cess characters are ignored.
 * It is a checked runtime error for fp or buff to be NULL or for size to be 0.
 */
extern int getline(FILE *fp, char *buf, size_t size);
